561. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
562. Representation theorems in computer science :
پدیدآورنده: Özgür Lütfü Özçep.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.,Spatial systems.,Computer logic.,Spatial systems.
رده :
QA76
.
9
.
L63
O93
2019
563. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده: Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
564. Resolution Proof Systems :
پدیدآورنده: by Zbigniew Stachniak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
565. Responsive Computer Systems
پدیدآورنده: edited by Hermann Kopetz, Yoshiaki Kakuda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
S88
E358
1993
566. Reversible computation :
پدیدآورنده: Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
567. Rewriting techniques and applications :
پدیدآورنده: N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
568. Rigorous software engineering for service-oriented systems :
پدیدآورنده: Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
569. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده: [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.
570. Runtime Verification
پدیدآورنده: edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
571. Runtime verification :
پدیدآورنده: Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
572. SOFSEM '95:
پدیدآورنده: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Software engineering.
573. STACS 92 :
پدیدآورنده: A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
574. Scheduling in Parallel Computing Systems
پدیدآورنده: by Shaharuddin Salleh, Albert Y. Zomaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Logic, Symbolic and mathematical.
576. Self-Timed Control of Concurrent Processes
پدیدآورنده: edited by Victor I. Varshavsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
577. Semantics:
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
578. Sequential logic synthesis
پدیدآورنده: / By Paranav Ashar, Srinivas Devadas, A. Richard Newton
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Logic circuits - Design and construction-Data processing,Logic design - Data processing,Computer-aided design and construction--Data processing
رده :
TK
7868
.
L6A84
1991
579. Sequential logic synthesis
پدیدآورنده: / Pranav Ashar,Ashar
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic circuits -- Design and construction -- Data processing,Logic design -- Data processing,Computer - aided design,Integrated Circuits -- Very large scale integration -- Design and construction --
رده :
TK
7868
.
L6A84
1992
580. Sequential logic testing and verification
پدیدآورنده: / by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton,Ghosh
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic circuits -- Testing,Logic design,Computer - aided design
رده :
TK
7868
.
L6G47
1992
